LargeIndicesWithoutK.agda:4,6-15
Set a is not less or equal than Set
when checking the definition of Singleton
